If intelligence is uncomputable , then ... *
نویسنده
چکیده
I want to propose an abstract model of the human mind that is, to the human mind, a bit like what a Euclidean rectangle is to a farmers field. I want to show why intelligence, in this model, requires a particular kind of uncomputability the kind that Gold [2] has called computability in the limit. This observation has implications for Computer Science and Cognitive Science if my abstract model really captures the essence of intelligence.
منابع مشابه
Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory
Decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental probability distribution is known. Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown distribution. We unify both theories and give strong arguments that the resulting universal AIξ model behaves optimal in any computable environment...
متن کاملTowards a Universal Theory of Artificial Intelligence Based on Algorithmic Probability and Sequential Decisions
Decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental probability distribution is known. Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown distributions. We unify both theories and give strong arguments that the resulting universal AIξ model behaves optimally in any computable environm...
متن کاملA Theory of Universal Artificial Intelligence based on Algorithmic Complexity
Decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameterless theory of universal Artificial Intelligence. We give strong arguments that ...
متن کاملUniversal Algorithmic Intelligence: A Mathematical Top→Down Approach
Sequential decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameter-free theory of universal Artificial Intelligence. We give strong arg...
متن کاملOn More Realistic Environment Distributions for Defining, Evaluating and Developing Intelligence
One insightful view of the notion of intelligence is the ability to perform well in a diverse set of tasks, problems or environments. One of the key issues is therefore the choice of this set and the probability of each individual, which can be formalised as a ‘distribution’. Formalising and properly defining this distribution is an important challenge to understand what intelligence is and to ...
متن کامل